interface Ticket {
    void purchase();
}